The postcondition ensures
that i and j do not change their values. Please recall the
specification of add. It says that a new Integer is created the value
of which is the sum. Consequently, we must provide a mechanism to access this
new instance. |
|